الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-540-88387-6
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

اقرأ المزيد
978-1-84628-229-4
Propositional and Predicate Calculus: A Model of Argument

The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2